Corcoran’s 27 entries in the 1999 second edition of Robert Audi’s Cambridge Dictionary of Philosophy [Cambridge: Cambridge UP]. -/- ancestral, axiomatic method, borderline case, categoricity, Church (Alonzo), conditional, convention T, converse (outer and inner), corresponding conditional, degenerate case, domain, De Morgan, ellipsis, laws of thought, limiting case, logical form, logical subject, material adequacy, mathematical analysis, omega, proof by recursion, recursive function theory, scheme, scope, Tarski (Alfred), tautology, universe of discourse. -/- The entire work is available online free at more (...) than one website. Paste the whole URL. http://archive.org/stream/RobertiAudi_The.Cambridge.Dictionary.of.Philosophy/Robert.Audi_The.Cambrid ge.Dictionary.of.Philosophy -/- The 2015 third edition will be available soon. Before you think of buying it read some reviews on Amazon and read reviews of its competition: For example, my review of the 2008 Oxford Companion to Philosophy, History and Philosophy of Logic,29:3,291-292. URL: http://dx.doi.org/10.1080/01445340701300429 -/- Some of the entries have already been found to be flawed. For example, Tarski’s expression ‘materially adequate’ was misinterpreted in at least one article and it was misused in another where ‘materially correct’ should have been used. The discussion provides an opportunity to bring more flaws to light. -/- Acknowledgements: Each of these entries was presented at meetings of The Buffalo Logic Dictionary Project sponsored by The Buffalo Logic Colloquium. The members of the colloquium read drafts before the meetings and were generous with corrections, objections, and suggestions. Usually one 90-minute meeting was devoted to one entry although in some cases, for example, “axiomatic method”, took more than one meeting. Moreover, about half of the entries are rewrites of similarly named entries in the 1995 first edition. Besides the help received from people in Buffalo, help from elsewhere was received by email. We gratefully acknowledge the following: José Miguel Sagüillo, John Zeis, Stewart Shapiro, Davis Plache, Joseph Ernst, Richard Hull, Concha Martinez, Laura Arcila, James Gasser, Barry Smith, Randall Dipert, Stanley Ziewacz, Gerald Rising, Leonard Jacuzzo, George Boger, William Demopolous, David Hitchcock, John Dawson, Daniel Halpern, William Lawvere, John Kearns, Ky Herreid, Nicolas Goodman, William Parry, Charles Lambros, Harvey Friedman, George Weaver, Hughes Leblanc, James Munz, Herbert Bohnert, Robert Tragesser, David Levin, Sriram Nambiar, and others. -/- . (shrink)

This paper will annoy modern logicians who follow Bertrand Russell in taking pleasure in denigrating Aristotle for [allegedly] being ignorant of relational propositions. To be sure this paper does not clear Aristotle of the charge. On the contrary, it shows that such ignorance, which seems unforgivable in the current century, still dominated the thinking of one of the greatest modern logicians as late as 1831. Today it is difficult to accept the proposition that Aristotle was blind to the fact that, (...) for example, incommensurability is a relation and not a property: that the proposition “In every square, the diagonals are incommensurable with the sides” is relational and not categorical. This paper asks the reader to do something more difficult: to accept the proposition that as late as 1831 De Morgan was blind to the same fact. This paper shows conclusively that in 1831, De Morgan was still in the grips of the allegedly Aristotelian paradigm. (shrink)

In this paper, we will motivate the application of specific rules of inference from the propositional calculus to natural language sentences. Specifically, we will analyse De Morgan’s laws, which pertain to the interaction of two central topics in syntactic research: negation and coordination. We will argue that the applicability of De Morgan’s laws to natural language structures can be derived from independently motivated operations of grammar and principles restricting the application of these operations. This has direct empirical consequences (...) for the hypothesised relations between natural language and logic. (shrink)

Background: Several countries have recently changed their model of consent for organ donation from opt-in to opt-out. We undertook a systematic review to determine public knowledge and attitudes towards these models in Europe. Methods: Six databases were explored between 1 January 2008 and 15 December 2017. We selected empirical studies addressing either knowledge or attitudes towards the systems of consent for deceased organ donation by lay people in Europe, including students. Study selection, data extraction, and quality assessment were conducted by (...) two or more reviewers independently. Findings: Awareness of the consent model was lower in opt-out countries than in opt-in countries. A majority of the public agrees with opt-in, regardless of the law in their own country. There are ambivalent attitudes regarding the opt-out system. The public tend to prefer opt-in and mandatory choice over opt-out when several options are offered. Interpretation: The assumption that people in opt-out countries are aware of the legal requirements to be excluded from the pool of potential donors is not supported by the results of this review. This is a concern, since ignorance hinders people's autonomy regarding organ donation decision-making. Higher awareness of consent model in opt-in countries may reflect greater efforts to inform the public through campaigns to motivate donation. Legal moves towards opt-out are at odds with people's expressed preferences. Main limitations of this review are the lack of data from some countries, study population heterogeneity, and methodological shortcomings. (shrink)

The main goal of this paper is to investigate the relation between the meaning of a sentence and its truth conditions. We report on a comprehension experiment on counterfactual conditionals, based on a context in which a light is controlled by two switches. Our main finding is that the truth-conditionally equivalent clauses (i) "switch A or switch B is down" and (ii) "switch A and switch B are not both up" make different semantic contributions when embedded in a conditional antecedent. (...) Assuming compositionality, this means that (i) and (ii) differ in meaning, which implies that the meaning of a sentential clause cannot be identified with its truth conditions. We show that our data have a clear explanation in inquisitive semantics: in a conditional antecedent, (i) introduces two distinct assumptions, while (ii) introduces only one. Independently of the complications stemming from disjunctive antecedents, our results also challenge analyses of counterfactuals in terms of minimal change from the actual state of affairs: we show that such analyses cannot account for our findings, regardless of what changes are considered minimal. (shrink)

Goal: To assess public knowledge and attitudes towards the family’s role in deceased organ donation in Europe. -/- Methods: A systematic search was conducted in CINHAL, MEDLINE, PAIS Index, Scopus, PsycINFO, and Web of Science on December 15th, 2017. Eligibility criteria were socio-empirical studies conducted in Europe from 2008 to 2017 addressing either knowledge or attitudes by the public towards the consent system, including the involvement of the family in the decision-making process, for post-mortem organ retrieval. Screening and data collection (...) were performed by two or more independent reviewers for each record. -/- Results: Of the 1482 results, 467 studies were assessed in full-text form, and 33 were included in this synthesis. When the deceased has not expressed any preference, a majority of the public support the family's role as a surrogate decision-maker. When the deceased expressly consented, the respondents' answers depend on whether they see themselves as potential donors or as a deceased's next-of-kin. Answers also depend on the relationship between the deceased and the decision-maker(s) within the family, and on their ethnic or cultural background. -/- Conclusions: Public views on the authority of the family in organ donation decision-making require further research. A common conceptual framework and validated well-designed questionnaires are needed for future studies. The findings should be considered in the development of Government policy and guidance regarding the role of families in deceased organ donation. (shrink)

This paper challenges the notion that the only way to progress to a post-capitalist society is through the wholesale destruction of the capitalist economic system. Instead, I argue that Craft —an existential state and praxis informed by the creation and maintenance of objects of utility—is uniquely situated to effectively reclaim these systems due to its its focus on materiality over abstraction and its unique position as a socially aware form of praxis. This argument focuses not on competition, but on hyper-abstraction (...) as the key driver of capitalist exploitation and its most glaring ethical flaw. Karl Marx's work on commodity fetishism is key to understanding this misguided form of abstraction which displaces commodities so far from their functional form that they feed into what Martin Heidegger termed gestell , or enframing. Postmodern attempts to destabilize capitalist influence in the fine arts, like the de-objectification of the 1960s described by Ursula Meyer, often fell victim to the same fetishistic mindset and simply increased the hold of capitalism within the arts. The enframing worldview that Heidegger warns us about is fed by hyper-abstraction, and while he directly offers up art as the remedy to this situation via poiēsis , key moments in his writings on the related notion of geschick support this new notion of Craft , rather than the fine arts, as a more capable system for the rehabilitation of modern society. (shrink)

L'empathie est un mode émotionnel qui associe le point de vue d'autrui à des sensations physiologiques. Ce phénomène a tendance à être plus important envers certaines personnes qu'envers d'autres. Or, il existe parfois de bonnes raisons morales de promouvoir une empathie plus égalitaire. Notre hypothèse de psychologie morale est qu'il est possible d'utiliser l'imagination, et en particulier sa dimension volontaire et sa transparence aux émotions, pour corriger certains biais empathiques.

The letter and the neon -- Augustus Rex -- Sublimism -- The incalculable -- The halo -- The new grail -- The mint and the muses -- Neon in space.

The de Morgan laws characterize how negation, conjunction, and disjunction interact with each other. They are fundamental in any semantics that bases itself on the propositional calculus/Boolean algebra. This paper is primarily concerned with the second law. In English, its validity is easy to demonstrate using linguistic examples. Consider the following: (3) Why is it so cold in here? We didn’t close the door or the window. The second sentence is ambiguous. It may mean that I suppose we did (...) not close the door or did not close the window, but I am not sure which. This `I am not sure which’ reading is irrelevant to us because it has disjunction scoping over negation. But the sentence may equally well mean (and indeed this is the preferred reading) that we didn’t close the door and did not close the window. This `neither’ reading bears out de Morgan law (2). (shrink)

Moderate skepticism about de se thought accepts that there is a kind of mental state which is about the thinker and is psychologically indispensable for intentional action, but rejects the claim that this kind employs an indexical way of referring. Morgan (2021) has proposed an explanatory argument meant to show that the psychological kind does employ an indexical way of referring to the thinker, on the basis of the special connection between these thoughts and the use of the first-person (...) pronoun (‘I’ in English), which does have an indexical semantics. This paper offers a clear motivation for the moderately skeptical position, shows that Morgan’s argument is based on a mistaken analysis of that special connection, and proposes a more viable alternative. However, on this alternative, the relationship between the psychological role of de se thoughts and the first person in language means Morgan’s explanatory argument cannot go through. (shrink)

Mind, according to cognitive neuroscience, is a set of brain functions. But, unlike sets, our minds are cohesive. Moreover, unlike the structureless elements of sets, the contents of our minds are structured. Mutual relations between the mental contents endow the mind its structure. Here we characterize the structural essence and the logical form of the mind by focusing on thinking. Examination of the relations between concepts, propositions, and syllogisms involved in thinking revealed the reflexive graph structure of the conceptual mind. (...) Objective logic of the conceptual mind is calculated from its structure. Noteworthy features of the logic of conceptual mind are: degrees of truth, varieties of negation, admission of contradiction, and the failure of a de Morgan's law. Furthermore, cohesion of the conceptual mind follows from its reflexive graph structure. Our characterization of the structure and logic of mind constitutes a substantial refinement of the contemporary cognitive neuroscientific conceptualization of the mind as a set. (shrink)

This chapter elaborates and develops the thesis originally put forward by Mary Morgan (2005) that some mathematical models may surprise us, but that none of them can completely confound us, i.e. let us unable to produce an ex post theoretical understanding of the outcome of the model calculations. This chapter intends to object and demonstrate that what is certainly true of classical mathematical models is however not true of pluri-formalized simulations with multiple axiomatic bases. This chapter thus proposes to (...) show that - and why - some of these computational simulations that are now booming in the sciences not only surprise us but also confound us. To do so, it shows too that it is needed to elaborate and articulate with some new precision the concept of weak emergence initially due, for its part, to Mark A. Bedau (1997). (shrink)

L'écologie préénergétique des années 1905-1935 est à la recherche de ses objets d'étude. Des unités fondamentales de la nature (telles que formation végétale, association végétale, climax, biome, communauté biotique, écosystème) se trouvent en compétition et se succèdent les unes aux autres. Autour des années 1920 et 1930, la philosophie organiciste d'Alfred N. Whitehead, ainsi que la perspective évolutionniste d'Herbert Spencer et les propositions émergentistes de Samuel Alexander et Conwy L. Morgan, deviennent des références sous-jacentes au débat épistémologique concernant les (...) unités de base de l'écologie. Des auteurs comme Frederic E. Clements et John Phillips soutiendront plusieurs formes d'organicisme écologique, tandis que Henry A. Gleason interprétera l'association végétale comme le résultat d'une juxtaposition fortuite d'individus. Enfin, et paradoxalement, l'écosystème de Arthur G. Tansley, tout en faisant partie, à l'origine, d'une perspective anti-organiciste, deviendra l'unité fondamentale de programmes de recherche qui se voudront, au moins dans leurs intentions, émergentistes. (shrink)

Dit werkstuk betrekt zich op de vraag of de de facto legitimiteit van Knoet de Grote als koning van Angelsaksisch Engeland, te verklaren is aan de hand van de theorieën over legitimiteit zoals gepostuleerd door Maximilian Carl Emil Weber (1864—1920). Bestaande literatuur over Knoet de Grote zijn troonsbestijging, zoals dat van vooraanstaand 19e-eeuws historicus Edward Augustus Freeman, zou een ‘geromantiseerd’ beeld hebben geschetst van de kwestie. Dit werkstuk zal kijken of dit beeld, aan de hand van Webers theorie over (...) waar legitimiteit in gegrond kan zijn, ten eerste terecht te noemen is en, ten tweede, of het Knoets status als legitiem vorst van het ‘Angelsaksische’ volk goed kan verklaren. (shrink)

Seen from the point of view of evaluation conditions, a usual way to obtain a connexive logic is to take a well-known negation, for example, Boolean negation or de Morgan negation, and then assign special properties to the conditional to validate Aristotle’s and Boethius’ Theses. Nonetheless, another theoretical possibility is to have the extensional or the material conditional and then assign special properties to the negation to validate the theses. In this paper we examine that possibility, not sufficiently explored (...) in the connexive literature yet.We offer a characterization of connexive negation disentangled from the cancellation account of negation, a previous attempt to define connexivity on top of a distinctive negation. We also discuss an ancient view on connexive logics, according to which a valid implication is one where the negation of the consequent is incompatible with the antecedent, and discuss the role of our idea of connexive negation for this kind of view. (shrink)

In this paper we consider conditional random quantities (c.r.q.’s) in the setting of coherence. Based on betting scheme, a c.r.q. X|H is not looked at as a restriction but, in a more extended way, as \({XH + \mathbb{P}(X|H)H^c}\) ; in particular (the indicator of) a conditional event E|H is looked at as EH + P(E|H)H c . This extended notion of c.r.q. allows algebraic developments among c.r.q.’s even if the conditioning events are different; then, for instance, we can give a (...) meaning to the sum X|H + Y|K and we can define the iterated c.r.q. (X|H)|K. We analyze the conjunction of two conditional events, introduced by the authors in a recent work, in the setting of coherence. We show that the conjoined conditional is a conditional random quantity, which may be a conditional event when there are logical dependencies. Moreover, we introduce the negation of the conjunction and by applying De Morgan’s Law we obtain the disjoined conditional. Finally, we give the lower and upper bounds for the conjunction and disjunction of two conditional events, by showing that the usual probabilistic properties continue to hold. (shrink)

We generalize, by a progressive procedure, the notions of conjunction and disjunction of two conditional events to the case of n conditional events. In our coherence-based approach, conjunctions and disjunctions are suitable conditional random quantities. We define the notion of negation, by verifying De Morgan’s Laws. We also show that conjunction and disjunction satisfy the associative and commutative properties, and a monotonicity property. Then, we give some results on coherence of prevision assessments for some families of compounded conditionals; in (...) particular we examine the Fréchet-Hoeffding bounds. Moreover, we study the reverse probabilistic inference from the conjunction Cn+1 of n + 1 conditional events to the family {Cn,En+1|Hn+1}. We consider the relation with the notion of quasi-conjunction and we examine in detail the coherence of the prevision assessments related with the conjunction of three conditional events. Based on conjunction, we also give a characterization of p-consistency and of p-entailment, with applications to several inference rules in probabilistic nonmonotonic reasoning. Finally, we examine some non p-valid inference rules; then, we illustrate by an example two methods which allow to suitably modify non p-valid inference rules in order to get inferences which are p-valid. (shrink)

This self-contained lecture examines uses and misuses of the adverb conversely with special attention to logic and logic-related fields. Sometimes adding conversely after a conjunction such as and signals redundantly that a converse of what preceded will follow. -/- (1) Tarski read Church and, conversely, Church read Tarski. -/- In such cases, conversely serves as an extrapropositional constituent of the sentence in which it occurs: deleting conversely doesn’t change the proposition expressed. Nevertheless it does introduce new implicatures: a speaker would (...) implicate belief that the second sentence expresses a converse of what the first expresses. Perhaps because such usage is familiar, the word conversely can be used as “sentential pronoun”—or prosentence—representing a sentence expressing a converse of what the preceding sentence expresses. -/- (2) Tarski read Church and conversely. -/- This would be understood as expressing the proposition expressed by (1). Prosentential usage introduces ambiguity when the initial proposition has more than one converse. Confusion can occur if the initial proposition has non-equivalent converses. -/- Every proposition that is the negation of a false proposition is true and conversely. -/- One sense implies that every proposition that is the negation of a true proposition is false, which is true of course. But another sense, probably more likely, implies that every proposition that is true is the negation of a false proposition, which is false: the proposition that one precedes two is not a negation and thus is not the negation of a false proposition. The above also applies to synonyms of conversely such as vice versa. Although prosentence has no synonym, extrapropositional constituents are sometimes called redundant rhetoric, filler, or expletive. Authors discussed include Aristotle, Boole, De Morgan, Peirce, Frege, Russell, Tarski, and Church. END OF PUBLISHED ABSTRACT -/- See also: Corcoran, John. 2015. Converses, inner and outer. 2015. Cambridge Dictionary of Philosophy, third edition, Robert Audi (editor). Cambridge: Cambridge UP. https://www.academia.edu/10396347/Corcoran_s_27_entries_in_the_1999_second_edition_Audi_s_Cambridge_ Dictionary_of_Philosophy . (shrink)

This paper focuses on order-preserving logics defined from varieties of distributive lattices with negation, and in particular on the problem of whether these can be axiomatized by means Hilbert-style calculi that are finite. On the negative side, we provide a syntactic condition on the equational presentation of a variety that entails failure of finite axiomatizability for the corresponding logic. An application of this result is that the logic of all distributive lattices with negation is not finitely axiomatizable; we likewise establish (...) that the order-preserving logic of the variety of all Ockham algebras is also not finitely axiomatizable. On the positive side, we show that an arbitrary subvariety of semi-De Morgan algebras is axiomatized by a finite number of equations if and only if the corresponding order-preserving logic is axiomatized by a finite Hilbert-style calculus. This equivalence also holds for every subvariety of a Berman variety of Ockham algebras. We obtain, as a corollary, a new proof that the implication-free fragment of intuitionistic logic is finitely axiomatizable, as well as a new corresponding Hilbert-style calculus. Our proofs are constructive in that they allow us to effectively convert an equational presentation of a variety of algebras into a Hilbert-style calculus for the corresponding order-preserving logic, and vice versa. We also consider the assertional logics associated to the above-mentioned varieties, showing in particular that the assertional logics of finitely axiomatizable subvarieties of semi-De Morgan algebras are finitely axiomatizable as well. (shrink)

John Corcoran and George Boger. Aristotelian logic and Euclidean geometry. Bulletin of Symbolic Logic. 20 (2014) 131. -/- By an Aristotelian logic we mean any system of direct and indirect deductions, chains of reasoning linking conclusions to premises—complete syllogisms, to use Aristotle’s phrase—1) intended to show that their conclusions follow logically from their respective premises and 2) resembling those in Aristotle’s Prior Analytics. Such systems presuppose existence of cases where it is not obvious that the conclusion follows from the premises: (...) there must be something deductions can show. Corcoran calls a proposition that follows from given premises a hidden consequence of those premises if it is not obvious that the proposition follows from those premises. By a Euclidean geometry we mean an extended discourse beginning with basic premises—axioms, postulates, definitions—1) treating a universe of geometrical figures and 2) resembling Euclid’s Elements. There were Euclidean geometries before Euclid (fl. 300 BCE), even before Aristotle (384–322 BCE). Bochenski, Lukasiewicz, Patzig and others never new this or if they did they found it inconvenient to mention. Euclid shows no awareness of Aristotle. It is obvious today—as it should have been obvious in Euclid’s time, if anyone knew both—that Aristotle’s logic was insufficient for Euclid’s geometry: few if any geometrical theorems can be deduced from Euclid’s premises by means of Aristotle’s deductions. Aristotle’s writings don’t say whether his logic is sufficient for Euclidean geometry. But, there is not even one fully-presented example. However, Aristotle’s writings do make clear that he endorsed the goal of a sufficient system. Nevertheless, incredible as this is today, many logicians after Aristotle claimed that Aristotelian logics are sufficient for Euclidean geometries. This paper reviews and analyses such claims by Mill, Boole, De Morgan, Russell, Poincaré, and others. It also examines early contrary statements by Hintikka, Mueller, Smith, and others. Special attention is given to the argumentations pro or con and especially to their logical, epistemic, and ontological presuppositions. What methodology is necessary or sufficient to show that a given logic is adequate or inadequate to serve as the underlying logi of a given science. (shrink)

This paper compares several models of formalization. It articulates criteria of correct formalization and identifies their problems. All of the discussed criteria are so called “semantic” criteria, which refer to the interpretation of logical formulas. However, as will be shown, different versions of an implicitly applied or explicitly stated criterion of correctness depend on different understandings of “interpretation” in this context.

Abstract. The aim of this paper is to show that the topological interpretation of knowledge as an interior kernel operator K of a topological space (X, OX) comes along with a partially ordered family of belief modalities B that fit K in the sense that the pairs (K, B) satisfy all axioms of Stalnaker’s KB logic of knowledge and belief with the exception of the contentious axiom of negative introspection (NI). The new belief modalities B introduced in this paper are (...) defined with the help of the (dense) nuclei of the Heyting algebra OX of open subsets on the topological space (X, OX). In this way, the natural context for the belief operators B related to topological knowledge operator K is shown to be the Heyting algebra NUC(OX) of the nuclei of the Heyting algebra OX.1 More precisely, the dense nuclei of NUC(OX) can be used to define a variety of bimodal logics of knowledge operators K and belief operators B. The operators K and B are compatible with each other in the sense that the pairs (K, B) satisfy all axioms of Stalnaker’s KB system with the exception of the axiom (NI). Therefore, for (X, OX), one obtains a bounded, partially ordered family of belief operators B defined by the elements of NUC(OX). (shrink)

Many differences exist between the logical relations “equality” and “equivalence”. In this monograph I point out differences that concern definition, linguistics, computational gates and tables, denotation, application, negation of terms, negation of the relation, relations to other relations, the laws of symmetry, transitivity and reflexivity, the laws of commutation and permutation, the law of tautology, the law of distribution, the law of association, propositional meaning, and “genesis”. I also point out a form of “symmetry breaking”: the negation of some equality (...) may yield some non-equality, while the negation of that non-equality might not yield the same equality. (For full access: use the website link of the title page. -- Copyright License: CC BY-NC-ND. -- DOI: 10.17026/dans-zh3-h2b2 --). (shrink)

Résumé Le débat holisme-réductionnisme se structure autour de trois domaines sémantiques : l 'ontologie, la méthodologie et l'épistémologie. Généralement, une méthodologie analytique s'accompagne d'une ontologie atomiste et de la réduction des lois et théorie des niveaux d'organisation supérieurs aux lois et théorie des niveaux inférieurs. Par contre, une ontologie holiste, relationnelle peut s'accorder au concept d'émergence. En conséquence dans l'élaboration des lois et théories d'un phénomène appartenant à un niveau donné la prise en compte du niveau d'organisation supérieurs se révélera (...) déterminante. Les propositions philosophiques anti-mécanicistes de précurseur tels que Bradley, S. Alexander, A.N. Whitehead, C.L. Morgan, D.C. Broad, même en restant au niveau d'une forme de proto-émergentisme représentent le fondement épistémologique à partir duquel s'est développée une méthodologie véritablement émergentiste. Abstract The holism-reductionism debate is structured around three areas of semantics: ontology, methodology and epistemology. As a general rule, an analytical methodology goes with an atomist ontology, and the reduction of laws and theories from the higher levels of organisation to the laws and theories of lower levels. On the other hand, a holistic and relational ontology can be in unison with the concept of emergence. As a consequence, in elaborating laws and theories of a phenornenon of a given level, taking into account that the higher level of organisation will be determinant. The philosophical and anti-mechanistic propositions of precursors such as F. Bradley, S. Alexander, A.N. Whitehead, C.L. Morgan, D.C. Broad, even remaining at the level of a kind of proto-emergentism represent the epistemological basis on which a true emergentist methodology has been developed. (shrink)

The Louvre Museum is the largest of the world's art museums by its exhibition surface. These represent the Western art of the Middle Ages in 1848, those of the ancient civilizations that preceded and influenced it (Oriental, Egyptian, Greek, Etruscan and Roman), and the arts of early Christians and Islam. At the origin of the Louvre existed a castle, built by King Philip Augustus in 1190, and occupying the southwest quarter of the current Cour Carrée. In 1594, Henri IV (...) decided to unite the palace of the Louvre with the palace of the Tuileries built by Catherine de Medicis. The Cour Carrée was built by the architects Lemercier and then Le Vau, under the reign of Louis XIII and Louis XIV. The Department of Paintings currently has about 7,500 paintings (of which 3,400 are exposed), covering a period that goes from the Middle Ages to 1848 (date of the beginning of the Second Republic). By including the deposits, the collection is, with 12,660 works, the largest collection of ancient paintings in the world. With rare exceptions, the works after 1848 were transferred to the Musée d'Orsay when it was created in 1986. CONTENTS: Louvre Museum - Variety of exhibited works - The Royal Palace - The collections - - Eastern antiquities - - Arts of Islam - - Egyptian Antiquities - - Greek, Etruscan and Roman Antiquities - - Paintings - - - French school - - - Northern Schools (Flanders, Netherlands, Germany) - - - Italian School - - - Other schools Painting - Definitions - Painting genres - - The landscape - - Still life Paintings - FRANCOIS BOUCHER - - Vulcan presenting arms to Venus for Aeneas - RAPHAEL - - Portrait of Baldassare Castiglione - RUBENS - - Helena Fourment with children - LOUIS DAVID - - Madame Récamier - REMBRANDT - - Portrait of Heindrickje Stoffels - VELAZQUEZ - - Portrait of the Infanta Margarita - SIMONE MEMMI - - Jesus Christ walking on Calvary - JAN STEEN - - The Bad Company - HANS HOLBEIN - - Erasmus - CORREGGIO - - Mystic Marriage of Saint Catherine - LANCRET - - Conversation - JAN VAN DER MEER (VERMEER) - - The Lacemaker - VAN DYCK - - Charles I at the Hunt - FRANÇOIS CLOUET - - Elisabeth of Austria (1554-1592), Wife of Charles IX and Queen of France (1570 - 1574) - DELACROIX - - The Barque of Dante - EL GRECO - - Saint Louis, King of France, and a page - REMBRANDT - - Pilgrims at Emmaus (The Supper at Emmaus) - GERARD DAVID - - Marriage at Cana - RAPHAEL - - Portrait of Dona Isabel de Requesens, Vice-Queen of Naples - RUBENS - - La Kermesse (The Village Fête, or Noce de village) - FRANS HALS - - The Gypsy Girl - DECAMPS - - The Sonneurs - HOLBEIN THE YOUNGER - - Anne of Cleves - P. PRUD’HON - - Psyche transported to Heaven - PHILIPPE DE CHAMPAIGNE - - Portrait of Richelieu - LANCRET - - The Autumn - L. DAVID - - Madame Seriziat - COROT - - Recollection of Mortefontaine - LEONARDO DA VINCI - - La belle ferronnière - CORREGGIO - - Venus and Cupid with a Satyr - WATTEAU - - Pilgrimage to Cythera (The Embarkation for Cythera) - NICOLAS POUSSIN - - The Inspiration of the Poet - PRUD’HON - - The Empress Josephine (1763-1814) - FRAGONARD - - The Bathers - H. RIGAUD - - Louis XIV (1638–1715) - TERBURG - - The Concert - LEOPOLD ROBERT - - The Pilgrimage to the Madonna of the Arch - LARGILLIERE - - Family Portrait - MANTEGNA - - Parnassus - MEMLING - - The Virgin and Child between St James and St Dominic - FRAGONARD - - The Music Lesson - JEAN VAN EYCK - - The Virgin of chancellor Rolin - PAOLO VERONESE - - Susannah and the Elders - FRANÇOIS BOUCHER - - Diana leaving her bath - GÉRICAULT - - The Raft of the Medusa - MURILLO - - Assumption of the Virgin - CLAUDE GELLEE (LORRAIN) - - Ulysses returning Chryseis to her father (Marine, setting sun) - INGRES - - Madame Riviere - E. MURILLO - - The Young Beggar - GREUZE - - The Broken Pitcher - PIETER DE HOOCH - - Card players in an opulent interior - POUSSIN - - Et in Arcadia ego - QUENTIN MATSYS - - The moneylender and his wife - ANDREA SOLARIO - - Madonna with the Green Cushion - TITIEN - - Woman with a Mirror - DAVID TENIERS (the Younger) - - The Works of Mercy - LEONARDO DA VINCI - - Mona Lisa (La Gioconda) - Armand Dayot . (shrink)

[from the publisher's website] Questions about the existence and attributes of God form the subject matter of natural theology, which seeks to gain knowledge of the divine by relying on reason and experience of the world. Arguments in natural theology rely largely on intuitions and inferences that seem natural to us, occurring spontaneously—at the sight of a beautiful landscape, perhaps, or in wonderment at the complexity of the cosmos—even to a nonphilosopher. In this book, Helen De Cruz and Johan De (...) Smedt examine the cognitive origins of arguments in natural theology. They find that although natural theological arguments can be very sophisticated, they are rooted in everyday intuitions about purpose, causation, agency, and morality. Using evidence and theories from disciplines including the cognitive science of religion, evolutionary ethics, evolutionary aesthetics, and the cognitive science of testimony, they show that these intuitions emerge early in development and are a stable part of human cognition. -/- De Cruz and De Smedt analyze the cognitive underpinnings of five well-known arguments for the existence of God: the argument from design, the cosmological argument, the moral argument, the argument from beauty, and the argument from miracles. Finally, they consider whether the cognitive origins of these natural theological arguments should affect their rationality. (shrink)

Little is known about the aetiology of philosophical intuitions, in spite of their central role in analytic philosophy. This paper provides a psychological account of the intuitions that underlie philosophical practice, with a focus on intuitions that underlie the method of cases. I argue that many philosophical intuitions originate from spontaneous, early-developing, cognitive processes that also play a role in other cognitive domains. Additionally, they have a skilled, practiced, component. Philosophers are expert elicitors of intuitions in the dialectical context of (...) professional philosophy. If this analysis is correct, this should lead to a reassessment of experimental philosophical studies of expertise. (shrink)

O objetivo deste trabalho é desafiar as correntes tradicionais da bioética, que fundamentam ideais abstratos de imparcialidade, cidadania universal e autonomia absoluta; confrontá-los a partir do conhecimento situado e do reconhecimento da matriz de dominação interseccional vigente na América Latina. Procura investigar como transformar múltiplas desigualdades, repolitizando a justiça interseccional, a agência política em momentos críticos de progresso e colonização dos nossos bens comuns. Nossa proposta final é uma bioética crítica interseccional, representativa e participativa, que inclua de forma não subordinada (...) as vozes e os conhecimentos dos outros, focada em nossas necessidades regionais, promovendo nossa autonomia relacional e o cuidado com a vida, em e para nossos territórios, comunidades e as gerações futuras. (shrink)

Current theories of the division of cognitive labor are confined to the “context of justification,” assuming exogenous theories. But new theories are made from the same labor that is used for developing existing theories, and if none of this labor is ever allocated to create new alternatives, then scientific progress is impossible. A unified model is proposed in which theories are no longer given but a function of the division of labor in the model itself. The interactions of individuals balancing (...) the exploitation of existing theories and the exploration of new theories results in a robust cyclical pattern. (shrink)

Many philosophers and psychologists have attempted to elucidate the nature of mental representation by appealing to notions like isomorphism or abstract structural resemblance. The ‘structural representations’ that these theorists champion are said to count as representations by virtue of functioning as internal models of distal systems. In his 2007 book, Representation Reconsidered, William Ramsey endorses the structural conception of mental representation, but uses it to develop a novel argument against representationalism, the widespread view that cognition essentially involves the manipulation of (...) mental representations. Ramsey argues that although theories within the ‘classical’ tradition of cognitive science once posited structural representations, these theories are being superseded by newer theories, within the tradition of connectionism and cognitive neuroscience, which rarely if ever appeal to structural representations. Instead, these theories seem to be explaining cognition by invoking so-called ‘receptor representations’, which, Ramsey claims, aren’t genuine representations at all—despite being called representations, these mechanisms function more as triggers or causal relays than as genuine stand-ins for distal systems. I argue that when the notions of structural and receptor representation are properly explicated, there turns out to be no distinction between them. There only appears to be a distinction between receptor and structural representations because the latter are tacitly conflated with the ‘mental models’ ostensibly involved in offline cognitive processes such as episodic memory and mental imagery. While structural representations might count as genuine representations, they aren’t distinctively mental representations, for they can be found in all sorts of non-intentional systems such as plants. Thus to explain the kinds of offline cognitive capacities that have motivated talk of mental models, we must develop richer conceptions of mental representation than those provided by the notions of structural and receptor representation. (shrink)

Casgevy, the world’s first approved CRISPR-based cell therapy, has been priced at $2.2 million per patient. Although this hefty price tag was widely anticipated, the extremely high cost of this and other cell and gene therapies poses a major ethical issue in terms of equitable access and global health. In this Perspective, we argue that lowering the prices of future CRISPR therapies is an urgent ethical imperative. Although we focus on Casgevy as a case study, much of our analysis can (...) be extrapolated to the controversies over affordable access to other gene and cell therapies. First, we explain why this first-of-its-kind CRISPR therapy might be so expensive. We then analyze the ethical issues of equity and global health of early CRISPR treatments. Next, we discuss potential solutions to lower the prices of CRISPR gene therapies. We conclude that the approval of CRISPR transforms our obligations of justice and compels us to bring future gene therapies to the maximum possible number of patients with serious genetic diseases at affordable prices. (shrink)

This manuscript presents an English translation of the work titled “Begründung Einer Strengen Implikation” by the German logician and mathematician Wilhelm Ackermann (1896-1962), first published in June 1956.

Void is at the heart of Stoic metaphysics. As the incorporeal par excellence, being defined purely in terms of lacking body, it brings into sharp focus the Stoic commitment to non-existent Somethings. This article argues that Stoic void, far from rendering the Stoic system incoherent or merely ad hoc, in fact reflects a principled and coherent physicalism that sets the Stoics apart from their materialist predecessors and atomist neighbors.

The paper identifies the phenomenal rise of increasingly invasive forms of elective cosmetic surgery targeted primarily at women and explores its significance in the context of contemporary biotechnology. A Foucauldian analysis of the significance of the normalization of technologized women's bodies is argued for. Three "Paradoxes of Choice" affecting women who "elect" cosmetic surgery are examined. Finally, two utopian feminist political responses are discussed: a Response of Refusal and a Response of Appropriation.

An operational approach to quantum mechanics has been developed in the past decades in our group in Brussels. A similar approach is taken in this work, making use of the extra operational depth offered by this approach, to show that the construction of spacetime is specific to each observer. What is usually referred to as the block universe then emerges by noting that parts of the past and future are also contained in the present, but without the limitations that a (...) four-dimensional block universe usually implies, of a reality in which change would be impossible. In our operational approach, reality remains dynamic, with free choice playing a central role in its conceptualization. We also show that, when operationally analyzed, the theory implies that objects move not only in space, but also and especially in time, and more generally in spacetime, with their rest mass being a measure of their kinetic time energy. We therefore claim that Einstein’s relativity revolution has not been fully realized, since most physicists are not ready to accept these consequences of the theory although the formula’s showing them, when operationally analyzed, are in every relativity textbook. In particular, when relativistic motion is revisited as a genuine four-dimensional motion, it becomes possible to reinterpret the parameter c associated with the coordinate speed of light, which becomes the magnitude of the four-velocity of all material entities. We observe that this four-dimensional motion in Minkowski space can also be better understood if placed in the broader perspective of quantum mechanics, provided that non-locality is interpreted as non-spatiality, thus indicating the existence of an underlying non-spatial reality, the nature of which could be conceptual, consistent with the conceptuality interpretation of quantum mechanics. This hypothesis is reinforced by noting that when observers, or experiencers, as they will be referred to in this article, are described by acknowledging their cognitive nature of entities moving in a semantic space, Minkowski metric emerges in a natural way. (shrink)

Natural theology is the branch of theology and philosophy that attempts to gain knowledge of God through non-revealed sources. In a narrower sense, natural theology is the discipline that presents rational arguments for the existence of God. Given that these arguments rarely directly persuade those who are not convinced by their conclusions, why do they enjoy an enduring appeal? This article examines two reasons for the continuing popularity of natural theological arguments: (i) they appeal to intuitions that humans robustly hold (...) and that emerge early in cognitive development; (ii) they serve an argumentative function by presenting particular religious views as live options. I conclude with observations on the role of natural theology in contemporary analytic philosophy of religion. (shrink)

In this article I trace some of the main tenets of the struggle between nominalism and realism as identified by John Deely in his Four ages of understanding. The aim is to assess Deely’s claim that the Age of Modernity was nominalist and that the coming age, the Age of Postmodernism — which he portrays as a renaissance of the late middle ages and as starting with Peirce — is realist. After a general overview of how Peirce interpreted the nominalist-realist (...) controversy, Deely gives special attention to Thomas Aquinas’s On being and essence and the realism it entails. A subsequent discussion of the Modern Period shows that the issue of nominalism and realism is very much tied up with di¤erent conceptions of the intellect. Deely credits the theory of evolution with bringing us a conception of the intellect that is closer to that of the Middle Ages and that opens the way for a truly realistic ‘‘fourth age’’ of the understanding. (shrink)

At the heart of the Stoic theory of modality is a strict commitment to bivalence, even for future contingents. A commitment to both future truth and contingency has often been thought paradoxical. This paper argues that the Stoic retreat from necessity is successful. it maintains that the Stoics recognized three distinct senses of necessity and possibility: logical, metaphysical and providential. Logical necessity consists of truths that are knowable a priori. Metaphysical necessity consists of truths that are knowable a posteriori, a (...) world order according to certain metaphysical principles and natures that god crafts within the constraints of matter. Finally, what is providentially necessary is what occurs according to the chain of fate, but only once it is in process or past. -/- The method of the paper is a close reading of Diogenes Laertius 7.75, adducing broad textual evidence along the way, to show that the Stoic theory of modality embraces Philonian possibility, both that which is capable of being true as a matter of logical consistency, and that which is possible according to the bare fitness of the entity. What differentiates the Stoics from Philo is their additional commitment to possibility as opportunity, resisting the collapse of determinism into necessity. (shrink)

It is often assumed that moral questions ask for answers in the way other questions do. In this article, moral and non-moral versions of the question ‘Should I do x or y?’ are compared. While non-moral questions of that form typically ask for answers of the form ‘You should do x/y’, so-called ‘narrow answers’, moral questions often do not ask for such narrow answers. Rather, they ask for answers recognizing their delicacy, the need for a deeper understanding of the meaning (...) of the alternatives and the fact that moral decisions are, as Gaita formulates it, ‘non-accidentally and inescapably’ the agent’s to make. In short, moral questions often ask for a kind of answer that is highly different from the kind of answer non-moral questions ask for. In presupposing the ideal answer to a moral question to be a narrow answer, moral philosophers have tended to overlook this. (shrink)

Open-content communities that focus on co-creation without requirements for entry have to face the issue of institutional trust in contributors. This research investigates the various ways in which these communities manage this issue. It is shown that communities of open-source software—continue to—rely mainly on hierarchy (reserving write-access for higher echelons), which substitutes (the need for) trust. Encyclopedic communities, though, largely avoid this solution. In the particular case of Wikipedia, which is confronted with persistent vandalism, another arrangement has been pioneered instead. (...) Trust (i.e. full write-access) is ‘backgrounded’ by means of a permanent mobilization of Wikipedians to monitor incoming edits. Computational approaches have been developed for the purpose, yielding both sophisticated monitoring tools that are used by human patrollers, and bots that operate autonomously. Measures of reputation are also under investigation within Wikipedia; their incorporation in monitoring efforts, as an indicator of the trustworthiness of editors, is envisaged. These collective monitoring efforts are interpreted as focusing on avoiding possible damage being inflicted on Wikipedian spaces, thereby being allowed to keep the discretionary powers of editing intact for all users. Further, the essential differences between backgrounding and substituting trust are elaborated. Finally it is argued that the Wikipedian monitoring of new edits, especially by its heavy reliance on computational tools, raises a number of moral questions that need to be answered urgently. (shrink)

Moral philosophy has traditionally aimed for correct or appropriate moral judgments. Consequently, when asked for moral advice, the moral philosopher first tries to develop a moral judgment and then informs the advisee. The focus is on what the advisee should do, not on whether any advice should be given. There may, however, be various kinds of reasons not to morally judge, to be ‘morally modest’. In the first part of this article, I give some reasons to be morally modest when (...) moral advice is asked for. Second, I show how Wittgenstein radicalizes these reasons to such an extent that the very possibility of giving moral advice seems threatened. Third, I argue that taking Wittgenstein and the need for moral modesty seriously does not make moral advice impossible, but rather asks for a notion of moral advice in which moral advice is not necessarily linked to the ideal of a moral judgment. Fourth, I highlight some advantages of a Wittgensteinian notion of moral advice over traditional notions. (shrink)

Empirical research in the psychology of nature appreciation suggests that humans across cultures tend to evaluate nature in positive aesthetic terms, including a sense of beauty and awe. They also frequently engage in joint attention with other persons, whereby they are jointly aware of sharing attention to the same event or object. This paper examines how, from a natural theological perspective, delight in natural beauty can be conceptualized as a way of joining attention to creation. Drawing on an analogy between (...) art and creation, we propose that aesthetic appreciation of nature may provide theists with a unique phenomenological insight into God's creative intentions, which are embodied in the physical beauty of creation. We suggest two directions in which this way of looking at the natural world can be fleshed out: in a spontaneous way, that does not take into account background information, and with the help of science. (shrink)

In ‘‘Why brains matter: an integrational perspective on The Symbolic Species’’ Cowley (2002) [Language Sciences 24, 73–95] suggests that Deacon pictures brains as being able to process words qua tokens, which he identifies as the theory’s Achilles’ heel. He goes on to argue that Deacon’s thesis on the co-evolution of language and mind would benefit from an integrational approach. This paper argues that Cowley’s criticism relies on an invalid understanding of Deacon’s use the concept of ‘‘symbolic reference’’, which he appropriates (...) from Peirce’s semiotic. Peirce’s analysis as well as Deacon’s appropriation will be examined in detail. Consequently it will be argued that an integrationist reading would add very little to Deacon’s core thesis. (shrink)

Deidealization as a topic in its own right has attracted remarkably little philosophical interest despite the extensive literature on idealization. One reason for this is the often implicit assumption that idealization and deidealization are, potentially at least, reversible processes. We question this assumption by analyzing the challenges of deidealization within a menu of four broad categories: deidealizing as recomposing, deidealizing as reformulating, deidealizing as concretizing, and deidealizing as situating. On closer inspection, models turn out much more inflexible than the reversal (...) thesis would have us believe, and deidealization emerges as a creative part of modeling. (shrink)

In his book, The Last Word, Thomas Nagel expresses the hope that there exists no God. Guy Kahane, in his paper ‘Should We Want God to Exist?’, attempts to defend Nagel from an argument that concludes such a hope may be impermissible. In this paper we present a new defense for the hope that God does not exist.

Propositional dynamic logic is complete but not compact. As a consequence, strong completeness requires an infinitary proof system. In this paper, we present a short proof for strong completeness of $$\mathsf{PDL}$$ relative to an infinitary proof system containing the rule from [α; β n ]φ for all $$n \in {\mathbb{N}}$$, conclude $$[\alpha;\beta^*] \varphi$$. The proof uses a universal canonical model, and it is generalized to other modal logics with infinitary proof rules, such as epistemic knowledge with common knowledge. Also, we (...) show that the universal canonical model of $$\mathsf{PDL}$$ lacks the property of modal harmony, the analogue of the Truth lemma for modal operators. (shrink)